Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
181	ConcJUnit: Unit Testing for Concurrent Programs Mathias Ricken Robert Cartwright Dept. of Computer Science Add to Reading List Source URL: www.drjava.org Language: English - Date: 2009-07-27 16:23:06 Extreme programming Cross-platform software JUnit Concurrency control TestNG Thread Unit testing Lock Effi Software Computing Java platform
182	Test-First Java Concurrency for the Classroom Mathias Ricken Robert Cartwright Dept. of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-11-11 20:20:35 Thread Lock Monitor JUnit Java concurrency Java Memory Model Unit testing Readers–writer lock Linearizability Computing Concurrency control Software
183	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
184	8 Lab Profile Ensure Program Correctness Programming Languages Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2014-09-23 23:48:23 Logic in computer science Model checking Formal methods Programming language Concurrency Communications protocol Type system Abstraction Computer programming Computing Theoretical computer science Data
185	INSTITUTO POLITECNICO NACIONAL Add to Reading List Source URL: www.mcmc.ciecas.ipn.mx Language: English - Date: 2014-11-12 12:41:59 International Standard Serial Number Workflow Science Computer science Information Concurrency Diagrams Petri net
186	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering
187	AToMPM Solution for the Petri Net to Statecharts Case Study H¨useyin Ergin and Eugene Syriani University of Alabama, Tuscaloosa AL, U.S.A. {hergin@crimson,esyriani@cs}.ua.edu In this paper, we present an AToMPM solutio Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2013-07-08 00:10:48 Concurrency Petri net Theoretical computer science State diagram Communication design Computer science Models of computation Diagrams UML diagrams
188	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
189	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:04 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
190	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:18 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management

UPDATE